Alain Finkel : rechercher sur Z-Library

Année:

2009

Langue:

english

Fichier:

PDF, 491 KB

english, 2009

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Enclosing many boxes by an optimal pair of boxes

Année:

1992

Langue:

english

Fichier:

PDF, 682 KB

english, 1992

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Deterministic regular languages

Année:

1992

Langue:

english

Fichier:

PDF, 592 KB

english, 1992

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Efficient algorithms for solving systems of linear equations and path problems

Demri, Stéphane, Finkel, Alain, Goranko, Valentin, van Drimmelen, Govert

Année:

1992

Langue:

english

Fichier:

PDF, 652 KB

english, 1992

Model-checking CTL* over flat Presburger counter systems

Journal:

Journal of Applied Non-Classical Logics

Année:

2010

Langue:

english

Fichier:

PDF, 338 KB

english, 2010

A polynomial algorithm for the membership problem with categorial grammars

Alain Finkel, Isabelle Tellier

Journal:

Florent Bouchy, Alain Finkel, Arnaud Sangnier

Année:

1996

Langue:

english

Fichier:

PDF, 1024 KB

english, 1996

Reachability in Timed Counter Systems

Journal:

Information Processing Letters

Année:

2009

Langue:

english

Fichier:

PDF, 302 KB

english, 2009

An efficient automata approach to some problems on context-free grammars

Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 96 KB

english, 2000

Verifying identical communicating processes is undecidable

Alain Finkel, Pierre McKenzie

Journal:

Catherine Dufourd, Alain Finkel

Année:

1997

Langue:

english

Fichier:

PDF, 932 KB

english, 1997

A polynomial λ-bisimilar normalization for reset Petri nets

Journal:

Zakaria Bouziane, Alain Finkel

Année:

1999

Langue:

english

Fichier:

PDF, 397 KB

english, 1999

Cyclic Petri Net Reachability Sets are Semi-linear Effectively Constructible

Journal:

Alain Finkel, Bernard Willems, Pierre Wolper

Année:

1997

Langue:

english

Fichier:

PDF, 761 KB

english, 1997

A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)

Journal:

Alain Finkel, Annie Choquet

Année:

1997

Fichier:

PDF, 586 KB

1997

Fifo nets without order deadlock

Journal:

Acta Informatica

Année:

1988

Langue:

english

Fichier:

PDF, 1008 KB

english, 1988

Decidability of the termination problem for completely specified protocols

Alain Finkel

Journal:

Distributed Computing

Année:

1994

Langue:

english

Fichier:

PDF, 854 KB

english, 1994

FAST: acceleration from theory to practice

Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2008

Langue:

english

Fichier:

PDF, 1.84 MB

english, 2008

About Fast and TReX Accelerations

Christophe Darlot, Alain Finkel, Laurent Van Begin

Journal:

Alain Finkel, Jérôme Leroux

Année:

2005

Langue:

english

Fichier:

PDF, 344 KB

english, 2005

The convex hull of a regular set of integer vectors is polyhedral and effectively computable

Journal:

Information Processing Letters

Année:

2005

Langue:

english

Fichier:

PDF, 109 KB

english, 2005

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Conditional semi-Thue systems for presenting monoids

Gérard Cécé, Alain Finkel, S. Purushothaman Iyer

Année:

1992

Langue:

english

Fichier:

PDF, 595 KB

english, 1992

Unreliable Channels Are Easier to Verify Than Perfect Channels

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 565 KB

english, 1996

Reduction and covering of infinite reachability trees

Alain Finkel

Journal:

Alain Finkel, Pierre McKenzie, Claudine Picaronny

Année:

1990

Langue:

english

Fichier:

PDF, 1.85 MB

english, 1990

A well-structured framework for analysing petri net extensions

Journal:

Gérard Cécé, Alain Finkel

Année:

2004

Langue:

english

Fichier:

PDF, 360 KB

english, 2004

Verification of programs with half-duplex communication

Journal:

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre

Année:

2005

Langue:

english

Fichier:

PDF, 327 KB

english, 2005

Well-abstracted transition systems: application to FIFO automata

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 313 KB

english, 2003

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Distributed system simulator (DSS)

Année:

1992

Langue:

english

Fichier:

PDF, 141 KB

english, 1992

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || ICS: Integrated Canonizer and Solver?

Bouchy, Florent, Finkel, Alain, San Pietro, Pierluigi

Année:

2001

Langue:

english

Fichier:

PDF, 81 KB

english, 2001

Dense-choice Counter Machines revisited

Journal:

Bonnet, Rémi, Finkel, Alain, Haddad, Serge, Rosa-Velardo, Fernando

Année:

2014

Langue:

english

Fichier:

PDF, 802 KB

english, 2014

Ordinal theory for expressiveness of well-structured transition systems

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 527 KB

english, 2013

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m)

Bouchy, Florent, Finkel, Alain, Leroux, J

Année:

2001

Langue:

english

Fichier:

PDF, 183 KB

english, 2001

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Decomposition of Decidable First-Order Logics over Integers and Reals

Année:

2008

Langue:

english

Fichier:

PDF, 313 KB

english, 2008

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 ||

Année:

2001

Langue:

english

Fichier:

PDF, 6.93 MB

english, 2001

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Parameterized Verification with Automatically Computed Inductive Assertions?

Année:

2001

Langue:

english

Fichier:

PDF, 237 KB

english, 2001

[Lecture Notes in Computer Science] STACS 92 Volume 577 || The parallel complexity of tree embedding problems (extended abstract)

Année:

1992

Langue:

english

Fichier:

PDF, 893 KB

english, 1992

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Fast LTL to Büchi Automata Translation

Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Année:

2001

Langue:

english

Fichier:

PDF, 218 KB

english, 2001

[Lecture Notes in Computer Science] Reachability Problems Volume 7550 || Robustness of Time Petri Nets under Guard Enlargement

Année:

2012

Langue:

english

Fichier:

PDF, 310 KB

english, 2012

BOUNDED PARIKH AUTOMATA

CADILHAC, MICHAËL, FINKEL, ALAIN, MCKENZIE, PIERRE

Journal:

International Journal of Foundations of Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 303 KB

english, 2012

UNAMBIGUOUS CONSTRAINED AUTOMATA

CADILHAC, MICHAËL, FINKEL, ALAIN, MCKENZIE, PIERRE

Journal:

International Journal of Foundations of Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 279 KB

english, 2013

Recent and simple algorithms for Petri nets

Finkel, Alain, Leroux, Jérôme

Journal:

Software & Systems Modeling

Année:

2015

Langue:

english

Fichier:

PDF, 437 KB

english, 2015

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Equality and disequality constraints on direct subterms in tree automata

Arnoux, Pierre, Finkel, Alain

Année:

1992

Langue:

english

Fichier:

PDF, 732 KB

english, 1992

Using mental imagery processes for teaching and research in mathematics and computer science

Journal:

International Journal of Mathematical Education

Année:

2010

Langue:

english

Fichier:

PDF, 256 KB

english, 2010

[Lecture Notes in Computer Science] STACS 92 Volume 577 || The complexity of colouring circle graphs

Cécé, Gérard, Finkel, Alain, Iyer, S. Purushothaman

Année:

1992

Langue:

english

Fichier:

PDF, 674 KB

english, 1992

[ACM Press the 2nd ACM SIGSOFT symposium - New Orleans, Louisiana, United States (1994.12.06-1994.12.09)] Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 - Duplication, insertion and lossiness errors in unreliable communication channels

Année:

1994

Langue:

english

Fichier:

PDF, 680 KB

english, 1994

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete

Blondin, Michael, Finkel, Alain, Goller, Stefan, Haase, Christoph, McKenzie, Pierre

Année:

2015

Langue:

english

Fichier:

PDF, 741 KB

english, 2015

Forward analysis and model checking for trace bounded WSTS

Chambart, Pierre, Finkel, Alain, Schmitz, Sylvain

Journal:

Cécé, Gérard, Finkel, Alain, Iyer, S. Purushothaman

Année:

2016

Langue:

english

Fichier:

PDF, 1023 KB

english, 2016

Duplication, insertion and lossiness errors in unreliable communication channels

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

1994

Langue:

english

Fichier:

PDF, 680 KB

english, 1994

Affine Parikh automata

Cadilhac, Michaël, Finkel, Alain, McKenzie, Pierre

Journal:

RAIRO - Theoretical Informatics and Applications

Année:

2012

Langue:

english

Fichier:

PDF, 583 KB

english, 2012

The Logical View on Continuous Petri Nets

Blondin, Michael, Finkel, Alain, Haase, Christoph, Haddad, Serge

Journal:

ACM Transactions on Computational Logic

Année:

2017

Langue:

english

Fichier:

PDF, 645 KB

english, 2017

Handling infinitely branching well-structured transition systems

Blondin, Michael, Finkel, Alain, McKenzie, Pierre

Journal: